Algebras and Update Strategies In Honor of Derick Wood’s 70th Birthday

نویسندگان

  • Michael Johnson
  • Robert Rosebrugh
  • Richard Wood
چکیده

The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generalize lenses from the category of sets to consider them in categories with finite products, in particular the category of ordered sets.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Orthogonal Concatenation: Language Equations and State Complexity In Honor of Derick Wood’s 70th Birthday

A language L is the orthogonal concatenation of languages L1 and L2 if every word of L can be written in a unique way as a concatenation of a word in L1 and a word in L2. The notion can be generalized for arbitrary language operations. We consider decidability properties of language orthogonality and the solvability of language equations involving the orthogonal concatenation operation. We esta...

متن کامل

Algebras and Update Strategies For Derick Wood on his 70’th birthday

The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generaliz...

متن کامل

Master Ward Identity for Nonlocal Symmetries in D=2 Principle Chiral Models

We derive, in path integral approach, the (anomalous) master Ward identity associated with an infinite set of nonlocal conservation laws in two-dimensional principal chiral models. To appear in the special issue of the Foundations of Physics in honor of Professor M. Namiki on the occasion of his 70th birthday.

متن کامل

Gauge Theories and Non-commutative Geometry

It is shown that a d-dimensional classical SU(N) Yang-Mills theory can be formulated in a d+ 2-dimensional space, with the extra two dimensions forming a surface with non-commutative geometry. Talk given at the Symposium in Honor of the 70th birthday of Julius Wess, 10-11 January 2005. Max-Planck Institut für Physik (Werner Heisenberg-Institut), München.

متن کامل

On Complex Algebras of Subalgebras

Let V be a variety of algebras. We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A ∈ V , the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the relationship between the generalized entropic property and the entropic law. Further, provided the generalized entropic property is satisfied in V...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011